基于聚类思想的概念格压缩

利用聚类思想对概念格进行压缩。根据概念之间外延和内涵的差别得到概念之间的相似度;从概念之间的相似度出发,基于谱系聚类思想对所有概念进行聚类。根据聚类的结果,利用K删除变换对概念格进行压缩并且证明了概念格经过压缩之后得到的仍然是一个完备格。     

适于车载网安全通信的聚合签密算法

聚合签密作为一种可以同时为多个用户提供保密与认证的高效密码技术,能有效解决车载网中用户的隐私安全问题.基于车载网提出了一个高效的基于身份的聚合签密方案,在Computational Bilinear Diffie-Hellman问题和Computational Diffie-Hellman困难假设下证明了方案的机密性和不可伪造性,同时方案满足可公开验证性、不可否认性和前向安全性.最后分析了方案的执行效率,指出该方案能以更低的计算与通信代价实现较高的安全性,很适合用于车载网、物联网等资源受限的无线网络环境.     

预条件后双分裂Jacobi迭代法收敛性

针对大型线性方程组的求解问题,将预条件方法和双分裂方法相结合,给出预条件后的双分裂形式的Jacobi迭代方法,讨论该方法的收敛性,并与预条件方法以及双分裂方法的收敛速度进行比较,说明这种方法收敛效果更好,最后给出数值例子来检验.     

基于格的分级盲签名

在现有的基于身份的盲签名基础上,依据格基扩展算法的特性,提出了格上基于身份的分级盲签名方案,增加了上级签名者对下级签名者权限的有效管理.并验证了正确性、安全性和分级性,效率分析后,得出公钥、私钥和签名长度并无明显增加.     

两类无证书聚合签名方案的分析与改进

基于双线性对提出的无证书聚合签名方案存在安全缺陷和计算效率低的问题。通过对现有两个无证书聚合签名方案的安全性进行分析,指出了第一个方案的聚合签名验证等式存在错误,并且证明了两个方案无法抵抗TypeⅡ的伪造性攻击。最后,给出了一个基于RSA的无证书聚合签名方案,通过RSA问题和DL问题证明了该方案的不可伪造性,与同类方案相比,该方案的效率和安全性更高,实用性更强。     

一个非奇异H矩阵实用充分条件的改进

对干泰彬(计算数学,2004,(1):109-116)给出的非奇异H矩阵的实用充分条件进行了改进,使得判定范围明显扩大,并且这个充分条件只与给定矩阵的本身元素有关,避免了胡家赣(线性方程组的迭代解法,1991.63-65)中判别H矩阵要计算Jacobi迭代矩阵的特征值的过程,大大简化了计算的复杂性,并给出了一个例子说明这种方法在实际中是十分方便和有用的.     

基于可信度法求解区间双层线性规划问题

采用区间数可信度方法, 给出区间双层线性规划问题可行域和最优解的概念, 并利用单层与双层规划最优值区间方法和极大极小算子, 构建区间双层线性规划问题的确定等价模型. 数值算例结果表明该方法有效.     

非均匀Chemostat竞争模型的周期解

讨论非均匀Chemostat竞争模型半平凡周期解的存在性、稳定性及其正周期解的存在性。通过运用抛物型方程比较原理、稳定性理论、极值原理以及Leray-Schauder度理论,证明了该系统半平凡周期解的存在性和稳定性,得到了该系统正周期解存在的充分条件。     

论《线性代数》的应用型教学方法

目的改革《线性代数》现有的教学方法,以适应地方高校培养应用型创新人才的需要。方法结合教学实践进行总结和探索。结果与结论探讨了《线性代数》的应用型教学方法的4个特点,并结合教学实例做了具体分析。     

一个适用于车载自组织网络的安全高效的聚合签名方案

车载自组织网络是智能交通系统的基础,是实现车联网的关键技术.聚合签名技术可以在大大节省传输带宽和计算资源的前提下为多个用户提供消息认证,所以很适合用于车载自组织网中进行消息聚合和批量签名验证.首先给出了基于身份的聚合签名方案的定义和敌手模型,接着构造了一个高效的基于身份的聚合签名方案,该方案具有固定长度和固定双线性对运算量,在Computational Diffie-Hellman困难假设下证明了该方案是存在性不可伪造的.最后分析比较了方案的执行效率,指出它能以更低的计算与通信成本为车辆节点发送的信息提供安全认证.